Logic synthesis - PDFSEARCH.IO - Document Search Engine

Logic synthesis
Results: 291

#	Item
121	Datasheet Solutions for DO-254 Overview `` Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-03-10 22:15:24 Electronic design Logic design Integrated circuits Synopsys Hardware description language Logic synthesis Logic simulation Integrated circuit design High-level synthesis Electronic engineering Digital electronics Electronic design automation
122	FPGA Design Solution for High-Reliability Applications `` Design Automation for High Reliability `` Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-04-20 13:16:33 Electronic design Digital electronics Integrated circuits Field-programmable gate array Synopsys Logic synthesis High-level synthesis Integrated circuit design Application-specific integrated circuit Electronic engineering Electronics Electronic design automation
123	Datasheet Synplify Premier Fast, Reliable FPGA Implementation and Debug Overview Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-04-17 18:15:23 Electronic design Integrated circuits Fabless semiconductor companies Field-programmable gate array Logic synthesis High-level synthesis Timing closure Altera Integrated circuit design Electronic engineering Electronics Electronic design automation
124	Datasheet Synplify Pro Fast, High-Performance FPGA Synthesis Overview Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-04-17 18:15:23 Electronic design Field-programmable gate array Logic synthesis Synopsys High-level synthesis VHDL SystemVerilog Verilog Aldec Electronic engineering Hardware description languages Electronic design automation
125	Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2014-06-27 16:34:36 Computing Logic in computer science Computer memory Memory barrier Abstraction Abstract interpretation Algorithm Formal verification Parallel computing Mathematics Theoretical computer science Applied mathematics
126	Abstraction-Guided Synthesis of Synchronization Martin Vechev Eran Yahav Greta Yorsh Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:23:26 Function Abstraction Mereology Valuation Mathematics Mathematical logic Abstract interpretation
127	VHDL Workshop Course Description This three-day class is a general introduction to the VHDL language and its use in programmable logic design. The emphasis is on the synthesis constructs Add to Reading List Source URL: www.elca.de Language: English - Date: 2014-02-19 09:48:54 Electronic design automation Logic design VHDL Altera Quartus Logic synthesis Mentor Graphics Electronic engineering Digital electronics Hardware description languages
128	PROJECT PROFILE ON VLSI DESIGN CENTRE 2012 Add to Reading List Source URL: www.emergingkerala2012.org Language: English - Date: 2014-10-04 03:35:58 Integrated circuits Electronic design Logic synthesis Xilinx Very-large-scale integration VLSI Project Mead & Conway revolution Electronic engineering Electronics Electromagnetism
129	Transfer Function Synthesis without Quantifier Elimination J¨org Brauer and Andy King RWTH Aachen University Add to Reading List Source URL: www.embedded.rwth-aachen.de Language: English - Date: 2011-04-20 19:50:43 Quantifier elimination Existential quantification Logic Quantification Model theory
130	Analysis and Synthesis: Interdependent Operations in Chemical Language and Practice Add to Reading List Source URL: hyle.org Language: English - Date: 2013-03-20 19:45:43 Chemical formulas Formal languages Logical syntax Metalogic Chemical compound Chemical substance Chemist Chemical synthesis Chemical element Chemistry Science Logic

UPDATE